The transformation into a vendor independent format and the visualization of the structure of PLC programs is identified as an important intermediate step in this process. 转型成为一个独立的格式和可视化的结构,在这个过程中,PLC程序的确定是作为这项措施的重要中间步骤。
Introduces a testability transformation algorithm which, through program transformation, eliminates the flag variables, thus offers an solution to the issue of generating test data for programs containing flag variables. 介绍一种可测试性转换算法(TestabilityTransformationAlgorithm),通过程序转换的方法,把程序中的标志变量去掉,解决含有标志变量的程序的测试数据产生的问题。
Structural transformation of logic programs 逻辑程序的结构化变换
Second, the transformation program horizontal contrast with the detailed analysis of the existing data on other similar rehabilitation programs, specific indicators contrast, draw a quantitative analysis of the gap between the various programs, and provide a strong basis for future project decisions. 第二,对数个技术改造方案进行横向对比,借助已有数据对其他类似改造方案进行详细分析,具体指标进行对比,得出了各方案差距的定量分析,为日后项目决策提供了有力依据。